var body = document.querySelector("body")
var app1 = document.querySelector("[mdtype='toc']")
var write = document.querySelector("#write")
var app2 = app1.cloneNode()
app2.style = "width:30%;float: left; display: block; position: fixed; overflow: scroll auto; bottom: 0px; z-index: 10; top: 0px;"
app2.innerHTML = ""
app2.appendChild(app1)
body.appendChild(app2)
write.style="margin: auto 0px auto auto; float: right;"
var con = document.querySelector("body").scrollWidth
var marginr = con - 860 - con*0.3 - 60
write.style.marginRight = marginr + "px"
window.onresize = function () {
  con = document.querySelector("body").scrollWidth
  marginr = con - 860 - con*0.3 - 60
  write.style.marginRight = marginr + "px"
}